منابع مشابه
Monadic Logic of Order over Naturals has no Finite Base
A major result concerning Temporal Logics (TL) is Kamp’s theorem [Kam68, GHR94], which states that the temporal logic over the pair of modalities X until Y and Xsince Y is expressively complete for the first order fragment of monadic logic of order over the natural numbers. We show that there is no finite set of modalities B such that the temporal logic over B and monadic logic of order have th...
متن کاملWhich elements of a finite group are non-vanishing?
Let $G$ be a finite group. An element $gin G$ is called non-vanishing, if for every irreducible complex character $chi$ of $G$, $chi(g)neq 0$. The bi-Cayley graph ${rm BCay}(G,T)$ of $G$ with respect to a subset $Tsubseteq G$, is an undirected graph with vertex set $Gtimes{1,2}$ and edge set ${{(x,1),(tx,2)}mid xin G, tin T}$. Let ${rm nv}(G)$ be the set of all non-vanishi...
متن کاملKnot Group Epimorphisms
Let G be a finitely generated group, and let λ ∈ G. If there exists a knot k such that πk = π1(S \k) can be mapped onto G sending the longitude to λ, then there exists infinitely many distinct prime knots with the property. Consequently, if πk is the group of any knot (possibly composite), then there exists an infinite number of prime knots k1, k2, · · · and epimorphisms · · · → πk2 → πk1 → πk ...
متن کاملCritical Percolation on Any Nonamenable Group Has No Innnite Clusters
We show that independent percolation on any Cayley graph of a nonamenable group has no innnite components at the critical parameter. This result was obtained in Benjamini, Lyons, Peres, and Schramm (1997) as a corollary of a general study of group-invariant percolation. The goal here is to present a simpler self-contained proof that easily extends to quasi-transitive graphs with a unimodular au...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1988
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1988-0934891-7